TSTP Solution File: SEV348^5 by SInE---0.4